Optimal. Leaf size=255 \[ \frac {\left (a^2-b^2\right )^4}{a b^8 d (a+b \sec (c+d x))}+\frac {\left (a^2-b^2\right )^3 \left (7 a^2+b^2\right ) \log (a+b \sec (c+d x))}{a^2 b^8 d}-\frac {4 a \left (a^2-2 b^2\right ) \sec ^3(c+d x)}{3 b^5 d}+\frac {\left (3 a^2-4 b^2\right ) \sec ^4(c+d x)}{4 b^4 d}-\frac {\log (\cos (c+d x))}{a^2 d}-\frac {2 a \left (3 a^4-8 a^2 b^2+6 b^4\right ) \sec (c+d x)}{b^7 d}+\frac {\left (5 a^4-12 a^2 b^2+6 b^4\right ) \sec ^2(c+d x)}{2 b^6 d}-\frac {2 a \sec ^5(c+d x)}{5 b^3 d}+\frac {\sec ^6(c+d x)}{6 b^2 d} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.21, antiderivative size = 255, normalized size of antiderivative = 1.00, number of steps used = 3, number of rules used = 2, integrand size = 21, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.095, Rules used = {3885, 894} \[ \frac {\left (3 a^2-4 b^2\right ) \sec ^4(c+d x)}{4 b^4 d}-\frac {4 a \left (a^2-2 b^2\right ) \sec ^3(c+d x)}{3 b^5 d}+\frac {\left (-12 a^2 b^2+5 a^4+6 b^4\right ) \sec ^2(c+d x)}{2 b^6 d}-\frac {2 a \left (-8 a^2 b^2+3 a^4+6 b^4\right ) \sec (c+d x)}{b^7 d}+\frac {\left (a^2-b^2\right )^4}{a b^8 d (a+b \sec (c+d x))}+\frac {\left (a^2-b^2\right )^3 \left (7 a^2+b^2\right ) \log (a+b \sec (c+d x))}{a^2 b^8 d}-\frac {\log (\cos (c+d x))}{a^2 d}-\frac {2 a \sec ^5(c+d x)}{5 b^3 d}+\frac {\sec ^6(c+d x)}{6 b^2 d} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 894
Rule 3885
Rubi steps
\begin {align*} \int \frac {\tan ^9(c+d x)}{(a+b \sec (c+d x))^2} \, dx &=\frac {\operatorname {Subst}\left (\int \frac {\left (b^2-x^2\right )^4}{x (a+x)^2} \, dx,x,b \sec (c+d x)\right )}{b^8 d}\\ &=\frac {\operatorname {Subst}\left (\int \left (-2 a \left (3 a^4-8 a^2 b^2+6 b^4\right )+\frac {b^8}{a^2 x}+\left (5 a^4-12 a^2 b^2+6 b^4\right ) x-4 a \left (a^2-2 b^2\right ) x^2+\left (3 a^2-4 b^2\right ) x^3-2 a x^4+x^5-\frac {\left (a^2-b^2\right )^4}{a (a+x)^2}+\frac {\left (a^2-b^2\right )^3 \left (7 a^2+b^2\right )}{a^2 (a+x)}\right ) \, dx,x,b \sec (c+d x)\right )}{b^8 d}\\ &=-\frac {\log (\cos (c+d x))}{a^2 d}+\frac {\left (a^2-b^2\right )^3 \left (7 a^2+b^2\right ) \log (a+b \sec (c+d x))}{a^2 b^8 d}-\frac {2 a \left (3 a^4-8 a^2 b^2+6 b^4\right ) \sec (c+d x)}{b^7 d}+\frac {\left (5 a^4-12 a^2 b^2+6 b^4\right ) \sec ^2(c+d x)}{2 b^6 d}-\frac {4 a \left (a^2-2 b^2\right ) \sec ^3(c+d x)}{3 b^5 d}+\frac {\left (3 a^2-4 b^2\right ) \sec ^4(c+d x)}{4 b^4 d}-\frac {2 a \sec ^5(c+d x)}{5 b^3 d}+\frac {\sec ^6(c+d x)}{6 b^2 d}+\frac {\left (a^2-b^2\right )^4}{a b^8 d (a+b \sec (c+d x))}\\ \end {align*}
________________________________________________________________________________________
Mathematica [B] time = 6.31, size = 528, normalized size = 2.07 \[ -\frac {(b-a)^4 (a+b)^4 \sec ^2(c+d x) (a \cos (c+d x)+b)}{a^2 b^7 d (a+b \sec (c+d x))^2}+\frac {4 a \left (2 b^2-a^2\right ) \sec ^5(c+d x) (a \cos (c+d x)+b)^2}{3 b^5 d (a+b \sec (c+d x))^2}+\frac {\left (3 a^2-4 b^2\right ) \sec ^6(c+d x) (a \cos (c+d x)+b)^2}{4 b^4 d (a+b \sec (c+d x))^2}-\frac {2 a \left (3 a^4-8 a^2 b^2+6 b^4\right ) \sec ^3(c+d x) (a \cos (c+d x)+b)^2}{b^7 d (a+b \sec (c+d x))^2}+\frac {\left (5 a^4-12 a^2 b^2+6 b^4\right ) \sec ^4(c+d x) (a \cos (c+d x)+b)^2}{2 b^6 d (a+b \sec (c+d x))^2}+\frac {\left (-7 a^6+20 a^4 b^2-18 a^2 b^4+4 b^6\right ) \sec ^2(c+d x) \log (\cos (c+d x)) (a \cos (c+d x)+b)^2}{b^8 d (a+b \sec (c+d x))^2}+\frac {\left (7 a^8-20 a^6 b^2+18 a^4 b^4-4 a^2 b^6-b^8\right ) \sec ^2(c+d x) (a \cos (c+d x)+b)^2 \log (a \cos (c+d x)+b)}{a^2 b^8 d (a+b \sec (c+d x))^2}-\frac {2 a \sec ^7(c+d x) (a \cos (c+d x)+b)^2}{5 b^3 d (a+b \sec (c+d x))^2}+\frac {\sec ^8(c+d x) (a \cos (c+d x)+b)^2}{6 b^2 d (a+b \sec (c+d x))^2} \]
Warning: Unable to verify antiderivative.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.64, size = 423, normalized size = 1.66 \[ -\frac {14 \, a^{3} b^{6} \cos \left (d x + c\right ) - 10 \, a^{2} b^{7} + 60 \, {\left (7 \, a^{8} b - 20 \, a^{6} b^{3} + 18 \, a^{4} b^{5} - 4 \, a^{2} b^{7} + b^{9}\right )} \cos \left (d x + c\right )^{6} + 30 \, {\left (7 \, a^{7} b^{2} - 20 \, a^{5} b^{4} + 18 \, a^{3} b^{6}\right )} \cos \left (d x + c\right )^{5} - 10 \, {\left (7 \, a^{6} b^{3} - 20 \, a^{4} b^{5} + 18 \, a^{2} b^{7}\right )} \cos \left (d x + c\right )^{4} + 5 \, {\left (7 \, a^{5} b^{4} - 20 \, a^{3} b^{6}\right )} \cos \left (d x + c\right )^{3} - 3 \, {\left (7 \, a^{4} b^{5} - 20 \, a^{2} b^{7}\right )} \cos \left (d x + c\right )^{2} - 60 \, {\left ({\left (7 \, a^{9} - 20 \, a^{7} b^{2} + 18 \, a^{5} b^{4} - 4 \, a^{3} b^{6} - a b^{8}\right )} \cos \left (d x + c\right )^{7} + {\left (7 \, a^{8} b - 20 \, a^{6} b^{3} + 18 \, a^{4} b^{5} - 4 \, a^{2} b^{7} - b^{9}\right )} \cos \left (d x + c\right )^{6}\right )} \log \left (a \cos \left (d x + c\right ) + b\right ) + 60 \, {\left ({\left (7 \, a^{9} - 20 \, a^{7} b^{2} + 18 \, a^{5} b^{4} - 4 \, a^{3} b^{6}\right )} \cos \left (d x + c\right )^{7} + {\left (7 \, a^{8} b - 20 \, a^{6} b^{3} + 18 \, a^{4} b^{5} - 4 \, a^{2} b^{7}\right )} \cos \left (d x + c\right )^{6}\right )} \log \left (-\cos \left (d x + c\right )\right )}{60 \, {\left (a^{3} b^{8} d \cos \left (d x + c\right )^{7} + a^{2} b^{9} d \cos \left (d x + c\right )^{6}\right )}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 21.61, size = 1696, normalized size = 6.65 \[ \text {result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.56, size = 498, normalized size = 1.95 \[ \frac {3 a^{2}}{4 d \,b^{4} \cos \left (d x +c \right )^{4}}-\frac {6 a^{2}}{d \,b^{4} \cos \left (d x +c \right )^{2}}-\frac {a^{6}}{d \,b^{7} \left (b +a \cos \left (d x +c \right )\right )}+\frac {4 a^{4}}{d \,b^{5} \left (b +a \cos \left (d x +c \right )\right )}-\frac {6 a^{2}}{d \,b^{3} \left (b +a \cos \left (d x +c \right )\right )}-\frac {b}{d \,a^{2} \left (b +a \cos \left (d x +c \right )\right )}+\frac {7 a^{6} \ln \left (b +a \cos \left (d x +c \right )\right )}{d \,b^{8}}-\frac {20 a^{4} \ln \left (b +a \cos \left (d x +c \right )\right )}{d \,b^{6}}+\frac {18 a^{2} \ln \left (b +a \cos \left (d x +c \right )\right )}{d \,b^{4}}-\frac {7 \ln \left (\cos \left (d x +c \right )\right ) a^{6}}{d \,b^{8}}-\frac {4 a^{3}}{3 d \,b^{5} \cos \left (d x +c \right )^{3}}+\frac {8 a}{3 d \,b^{3} \cos \left (d x +c \right )^{3}}-\frac {6 a^{5}}{d \,b^{7} \cos \left (d x +c \right )}+\frac {16 a^{3}}{d \,b^{5} \cos \left (d x +c \right )}+\frac {20 \ln \left (\cos \left (d x +c \right )\right ) a^{4}}{d \,b^{6}}-\frac {18 \ln \left (\cos \left (d x +c \right )\right ) a^{2}}{d \,b^{4}}-\frac {2 a}{5 d \,b^{3} \cos \left (d x +c \right )^{5}}+\frac {5 a^{4}}{2 d \,b^{6} \cos \left (d x +c \right )^{2}}-\frac {4 \ln \left (b +a \cos \left (d x +c \right )\right )}{d \,b^{2}}-\frac {\ln \left (b +a \cos \left (d x +c \right )\right )}{d \,a^{2}}-\frac {1}{d \,b^{2} \cos \left (d x +c \right )^{4}}+\frac {3}{d \,b^{2} \cos \left (d x +c \right )^{2}}+\frac {4 \ln \left (\cos \left (d x +c \right )\right )}{d \,b^{2}}+\frac {1}{6 d \,b^{2} \cos \left (d x +c \right )^{6}}+\frac {4}{d b \left (b +a \cos \left (d x +c \right )\right )}-\frac {12 a}{d \,b^{3} \cos \left (d x +c \right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 0.43, size = 321, normalized size = 1.26 \[ -\frac {\frac {14 \, a^{3} b^{5} \cos \left (d x + c\right ) - 10 \, a^{2} b^{6} + 60 \, {\left (7 \, a^{8} - 20 \, a^{6} b^{2} + 18 \, a^{4} b^{4} - 4 \, a^{2} b^{6} + b^{8}\right )} \cos \left (d x + c\right )^{6} + 30 \, {\left (7 \, a^{7} b - 20 \, a^{5} b^{3} + 18 \, a^{3} b^{5}\right )} \cos \left (d x + c\right )^{5} - 10 \, {\left (7 \, a^{6} b^{2} - 20 \, a^{4} b^{4} + 18 \, a^{2} b^{6}\right )} \cos \left (d x + c\right )^{4} + 5 \, {\left (7 \, a^{5} b^{3} - 20 \, a^{3} b^{5}\right )} \cos \left (d x + c\right )^{3} - 3 \, {\left (7 \, a^{4} b^{4} - 20 \, a^{2} b^{6}\right )} \cos \left (d x + c\right )^{2}}{a^{3} b^{7} \cos \left (d x + c\right )^{7} + a^{2} b^{8} \cos \left (d x + c\right )^{6}} + \frac {60 \, {\left (7 \, a^{6} - 20 \, a^{4} b^{2} + 18 \, a^{2} b^{4} - 4 \, b^{6}\right )} \log \left (\cos \left (d x + c\right )\right )}{b^{8}} - \frac {60 \, {\left (7 \, a^{8} - 20 \, a^{6} b^{2} + 18 \, a^{4} b^{4} - 4 \, a^{2} b^{6} - b^{8}\right )} \log \left (a \cos \left (d x + c\right ) + b\right )}{a^{2} b^{8}}}{60 \, d} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 4.77, size = 760, normalized size = 2.98 \[ \frac {\frac {2\,\left (-105\,a^7-105\,a^6\,b+265\,a^5\,b^2+265\,a^4\,b^3-191\,a^3\,b^4-191\,a^2\,b^5+15\,a\,b^6+15\,b^7\right )}{15\,a\,b^7}-\frac {2\,{\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )}^{10}\,\left (-42\,a^7-7\,a^6\,b+113\,a^5\,b^2+13\,a^4\,b^3-95\,a^3\,b^4-5\,a^2\,b^5+19\,a\,b^6+6\,b^7\right )}{a\,b^7}-\frac {4\,{\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )}^6\,\left (-210\,a^7-105\,a^6\,b+523\,a^5\,b^2+244\,a^4\,b^3-362\,a^3\,b^4-145\,a^2\,b^5+7\,a\,b^6+30\,b^7\right )}{3\,a\,b^7}+\frac {2\,{\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )}^8\,\left (-315\,a^7-105\,a^6\,b+809\,a^5\,b^2+223\,a^4\,b^3-613\,a^3\,b^4-99\,a^2\,b^5+91\,a\,b^6+45\,b^7\right )}{3\,a\,b^7}+\frac {2\,{\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )}^4\,\left (-525\,a^7-350\,a^6\,b+1290\,a^5\,b^2+860\,a^4\,b^3-862\,a^3\,b^4-598\,a^2\,b^5+10\,a\,b^6+75\,b^7\right )}{5\,a\,b^7}-\frac {2\,{\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )}^2\,\left (-630\,a^7-525\,a^6\,b+1555\,a^5\,b^2+1325\,a^4\,b^3-1067\,a^3\,b^4-955\,a^2\,b^5+45\,a\,b^6+90\,b^7\right )}{15\,a\,b^7}+\frac {2\,{\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )}^{12}\,\left (-7\,a^7+20\,a^5\,b^2-18\,a^3\,b^4+4\,a\,b^6+b^7\right )}{a\,b^7}}{d\,\left (\left (b-a\right )\,{\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )}^{14}+\left (7\,a-5\,b\right )\,{\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )}^{12}+\left (9\,b-21\,a\right )\,{\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )}^{10}+\left (35\,a-5\,b\right )\,{\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )}^8+\left (-35\,a-5\,b\right )\,{\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )}^6+\left (21\,a+9\,b\right )\,{\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )}^4+\left (-7\,a-5\,b\right )\,{\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )}^2+a+b\right )}+\frac {\ln \left ({\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )}^2+1\right )}{a^2\,d}-\frac {\ln \left ({\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )}^2-1\right )\,\left (7\,a^6-20\,a^4\,b^2+18\,a^2\,b^4-4\,b^6\right )}{b^8\,d}+\frac {\ln \left (a+b-a\,{\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )}^2+b\,{\mathrm {tan}\left (\frac {c}{2}+\frac {d\,x}{2}\right )}^2\right )\,{\left (a^2-b^2\right )}^3\,\left (7\,a^2+b^2\right )}{a^2\,b^8\,d} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F] time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {\tan ^{9}{\left (c + d x \right )}}{\left (a + b \sec {\left (c + d x \right )}\right )^{2}}\, dx \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________